高效可撤销的身份基在线离线加密方案

身份基加密（IBE）需要提供一种有效的成员撤销机制，然而，现有可撤销成员的IBE方案存在密钥更新和加密运算量过大的问题，可能使执行该操作的设备成为系统的瓶颈。将完全子树方法和在线离线技术相结合，通过修改指数逆类型IBE的密钥生成和加密算法，提出了一种高效可撤销的身份基在线离线加密方案。方案利用完全子树方法生成更新钥，使得撤销用户无法获得更新钥，进而失去解密能力；利用在线离线技术，将大部分加密运算在离线阶段进行预处理，使得在线阶段仅执行少量简单计算即可生成密文。与相关知名方案相比，该方案不仅提高密钥生成中心的密钥更新的效率，而且极大减少了轻量级设备的在线加密工作量，适合于轻量级设备保护用户隐私信息。     

适用于无线体域网的动态口令认证协议

无线体域网中传输的是与生命高度相关的敏感数据，身份认证是信息安全保护的第一道防线。现有的基于人体生物信息的身份认证方案存在信息难提取、偶然性大和误差性大的问题，基于传统密码学的认证方案需较大计算资源和能量消耗，并不适用于无线体域网环境。为此，在动态口令和非对称加密机制基础上，提出一种适用于无线体域网的动态口令双向认证轻量协议，并对其进行形式化分析。通过理论证明、SVO逻辑推理及SPIN模型检测得出：该协议满足双向认证，且能够抵御重放攻击、伪装攻击、拒绝服务器攻击和口令离线攻击，具有较高安全性。     

Asynchronous control for two‐dimensional hidden Markovian jump systems with partly known mode observation conditional probabilities

This study focuses on the asynchronous control problem for two‐dimensional discrete‐time hidden Markovian jump systems where the mode observation conditional probability matrix is partly known. Considering the original system modes are invisible, the observed modes emitted from an observer serve as an alternative for stability analysis and controller design where a mode observation conditional probability matrix is constructed to characterize the emission between system modes and observed modes. Specially, only partly known information of the mode observation conditional probability matrix is accessible. With the introduction of the free‐connection weighting matrices, the asymptotic mean square stability criterion is firstly derived based on Lyapunov method. This introduction provides a further degree of relaxation and less conservatism is therefore achieved. Secondly, we present synthesis conditions for asynchronous state feedback controller design given in terms of a set of interconnected linear matrix inequalities. Moreover, cluster concept based on the partitions of observed modes is adopted which helps to decrease the number of controllers and simplify the design complexity. A numerical example, regarding the cases with and without clustering of the observed modes, is presented to illustrate the effectiveness of the proposed method.     

An efficient method of generating vortex electromagnetic wave based on double‐layer transmissive metasurface

A broadband double‐layer transmissive metasurface (TMS) for effective generate vortex electromagnetic wave is presented in this paper. The proposed TMS consists of two types of elements. The first element is composed of a multi‐resonant dipole and four metal vias. The metal vias increase the coupling strength between the upper and lower layers to improve transmission efficiency. On the basis of the first element, the second element adds stubs to ensure sufficient phase shift. The far‐field cross polarisation is eliminated by special element arrangement. Then, a centre‐fed linear polarisation TMS is designed to generate orbital angular momentum beams with mode l = ? 1. The proposed TMS is designed, manufactured and measured to verify the proposed design. The measured results indicate that a maximum gain of 20.8 dBi and narrow divergence angle of ±5° are achieved at 18 GHz. Furthermore, mode purity is higher than 86.1% within the 17 to 19 GHz band. The proposed double‐layer TMS saved costs, reduced weight and without assembly error is a good candidate for OAM generator.     

A new controller for boost dc–dc converters based on a novel sliding surface

ABSTRACT

In this paper, two control schemes for boost converters affected by uncertainties in input voltage and load are proposed. The boost converter dynamics is redefined in terms of new state variables to facilitate the use of a disturbance observer that can estimate matched and unmatched disturbances. A sliding surface, which is new in the context of boost converters, is proposed to enable tracking and regulation of output voltage without requiring measurement of input voltage and load current. The stability of the overall system including the disturbance observer, the sliding variable and the output is proved. The performance of the schemes is assessed for regulation of output voltage and tracking of reference voltage by simulation as well as experimentation in which various types of uncertainties and various types of reference voltages are considered.     

课程群案例嵌入协同教学模式的探索

在课程群的教学中由于每门课程各自独立开展教学,缺乏知识的融合和衔接,导致学生运用综合知识解决问题的能力较弱。在课程群的教学中采用案例嵌入协同教学模式,将完整的工程案例嵌入到课程群各门课程的教学中,协同规划各门课程的教学任务,每门课程再围绕案例展开研究性教学。通过嵌入的工程案例衔接各门课程的知识点,帮助学生建构完整的知识体系,强化工程应用的概念；同时通过研究性教学,培养学生分析问题和解决问题的能力,两部分相结合,提高了学生运用综合知识解决复杂问题的能力。     

基于OTN技术的大颗粒业务大连接承载模式研究

近年，各类专线业务的“大带宽、低时延、快响应”诉求愈加明显，对传送网的承载能力提出更高的要求，特别是其中N*10G 业务需求规模逐年增加， 有必要研究一套标准化的承载模式来满足业务接入的需求，以实现对业务连接的网络承载模式标准化、快速化、智能化。     

Structural optimization with an automatic mode identification method for tracking the local vibration mode

Traditional optimization methods, which take a specific order of modal frequency as the design constraint, could fail to obtain the desired solution because of modal substitution. An improved optimization model with continuous sizing variables is established to solve this problem, in which the minimum weight and a given local modal frequency are considered as the objective and the constraint. To capture accurately the expected mode of vibration, a local mode identification technique is proposed based on the strain energy ratio between the local area and the whole structure. With that scheme, an optimization system is developed, in which the local mode can be effectively identified and the constraint can be updated with it in the iteration process. Two numerical examples, of a reinforced plate and a satellite structure, are applied to illustrate the effectiveness and efficacy of the proposed method.     

一种用于星载SAR天线的转动控制技术

针对星载合成孔径雷达（SAR）天线要求在超低转速下平稳转动，同时满足小型化轻量化的要求，本文提出一种基于微步距模式的天线转动控制技术，该技术使用两个带PWM电路的全桥驱动器通过微步距方式驱动步进电机。在给出系统架构、微步距控制原理后，进一步提出可靠性设计的具体措施。经测试和环境试验验证，该技术对同类应用具有一定的参考价值。     

Test sample allocation method for testability verification test

An extended failure mode effect and criticality analysis (FMECA)-based sample allocation method for testability verification is presented in this study to deal with the poor representativeness of test sample sets and the randomness of the testability evaluation results caused by unreasonable selection of failure samples. First, the fault propagation intensity is introduced as part of the extended information of FMECA, and the sample allocation impact factors of component units and failure modes are determined under this framework. Then, the failure mode similarity and impact factor support are defined, and the game decision method for weighing the relationship between similarity and support is proposed to obtain the weight of failure mode impact factor. Finally, a two-step allocation framework of test samples is formulated to realize the sample allocation of component units and failure modes. This method is applied to the testability verification test of a launch control system. Results show that this method can obtain more representative test samples compared with the traditional sample allocation method while effectively reducing randomness of single testability evaluation result.